Integral of sec^2(2x)